Prover Technology OEMs Schematic Viewer from Concept Engineering; EDA Component Improves Time-to-Market for State-of-the-Art Debug Support in Prover eCheck

Design Automation Conference 2003

Booth #1566

FREIBURG, Germany & STOCKHOLM, Sweden--(BUSINESS WIRE)--May 28, 2003--Concept Engineering and Prover Technology today announced an OEM agreement that gives Prover Technology the right to use Concept's Nlview(TM) Widget in the Prover(R) eCheck equivalence checker.

Nlview, the industry-standard visualization engine, enables Prover to provide debugging features related to equivalence checking without implementing yet another schematic visualization engine. As a result, Prover eCheck can offer its customers state-of-the-art debug support in a cost-effective way, contributing to the best return on investment.

"Concept Engineering and Prover Technology are both committed to continued technology innovation and excellent quality," said Gerhard Angst, president and CEO of Concept Engineering. "We are delighted that Prover has selected our visualization technology."

By plugging in the NlviewQT widget for the Qt Multiplatform application development framework, Prover eCheck immediately benefited from the advanced and mature schematic viewing capabilities. By OEMing this technology, Prover Technology saves valuable time and resources, and is able to focus on improving and adding debug features that go beyond displaying schematics, ensuring their customers continued ease of use.

Gunnar Stalmarck, CEO of Prover Technology, said, "Nlview enables us to offer the most intuitive debugging support without spending time reinventing the wheel. Any vendor can OEM state-of-the-art schematic display engines, HDL front-ends, proof engines and other EDA components. When EDA companies focus on their core business and OEM the rest, end users get better tools, we get to market faster, and everybody saves money."

Prover eCheck, including the Nlview Widget and debug capabilities, will be demonstrated in Prover Technology's Booth #1566 at the Design Automation Conference (DAC), June 2-6, at the Anaheim Convention Center in Anaheim, Calif.

About Concept Engineering

Concept Engineering is a privately held company based in Freiburg, Germany, founded in 1990 to develop and market innovative schematic generation and viewing technology for use with logic synthesis, verification, test automation and physical design tools. The company's customers are primarily original equipment EDA tool manufacturers (OEMs), in-house CAD tool developers and semiconductor companies. For more information, see http://www.concept.de.

About Prover Technology

Prover Technology is the world's leading provider of proof engines for tool developers and end users in the EDA and AMD markets. Founded in 1989, Prover Technology is the most experienced company in the field of automated formal verification. Its investors include London-based MVI and The Swedish Industrial Development Fund. Prover Technology has offices in Silicon Valley, France and Sweden (HQ). For more information and office locations, visit Prover Technology's Web site at http://www.prover.com.

CONTACT: Concept Engineering
             Gerhard Angst, +49-761-47094-0
             gerhard@concept.de
                 or
             Cayenne Communication LLC
             Michelle Clancy, 252/940-0981
             michelle.clancy@cayennecom.com
                 or
             Prover Technology
             Marcus Tallhamn, 650/722-2750
             marcus@prover.com